Nous fêtons aujourd'hui l'anniversaire de José Pinto