Jean-Paul Costa, ex-président de la Cour européenne des Droits de l'Homme, est décédé