Giudicato penale ed esecuzione delle sentenze della Corte europea dei diritti dell'uomo: profili processuali