Nous fêtons aujourd'hui l'anniversaire de Jean Devaivre