Nous fêtons aujourd'hui l'anniversaire de Claude Marty