« Aux grands Hommes la patrie reconnaissante » : faut-il « ouvrir le débat » sur la devise inscrite au Panthéon ?