Affaire Ringeisen (interpretation de l'arrêt du 22 juin 1972), arrêt du 23 juin 1973 (Publications de la Cour européenne des droits de l'homme. Arrêts et décisions ;, 1973)