Vu : - le code général de la fonction publique ; - le code de l’éducation ; - le décret n° 72-580 du 4 juillet 1972 ; - le code de justice administrative.

) de mettre à la charge de l’Etat une somme de 4 000 euros en application des dispositions de l’article L. 761-1 du code de justice administrative.