Quelle mouche a donc piqué le président de la République ?