5.1) et celle effectuée en raison de l’utilisation de la salle
de gymnastique par des classes de l’école primaire et par celles d’une école
privée (consid. 5.2).
La loi fédérale du 17 mars 1972 encourageant la gymnastique et les sports
(RS 415.0, RO 1994 1390) prévoit que l’éducation physique est obligatoire
dans toutes les écoles primaires, moyennes et professionnelles, y compris les
écoles normales et les cours supérieurs de formation pédagogique (art. 2 al. 2).
Quant à l’art. 63 al. 1 let. b de la loi fédérale du 19 avril 1978 sur la formation
professionnelle (LFPr, RS 412.10)