Statistics of Le médiateur institutionnel, facilitateur (royal ?) de l’exécution d’une décision juridictionnelle