Citation: 1A.184/2001 19.03.2002 E. 2

2.1 Le Tribunal fédéral examine d'office et librement la recevabilité des recours qui lui sont soumis (ATF 127 III 41 consid. 2a p. 42; 126 I 207 consid. 1 p. 209 et les arrêts cités). Le recours de droit public (art. 84 ss OJ) étant subsidiaire aux autres moyens de droit (art. 84 al. 2 OJ), la recevabilité du recours de droit administratif (art. 97 ss OJ) doit être examinée en premier lieu. 2.2 La voie du recours de droit administratif (art. 97 ss OJ) est ouverte contre une décision au sens de l'art. 5 PA, prise en dernière instance cantonale (cf. art. 98 let. g OJ), qui est fondée sur des dispositions de la loi fédérale sur la protection de l'environnement (LPE; RS 814.01 - cf. art. 54 LPE; ATF 126 II 300 consid. 1 p. 301/302 et les arrêts cités). Dans l'arrêt attaqué, le Tribunal administratif a considéré que les prescriptions du droit fédéral sur la limitation du bruit à la source (cf. la règle générale de l'art. 11 LPE) ne l'autorisaient pas à déroger, en l'espèce, aux règles cantonales sur la police des constructions et l'aménagement du territoire. Les recourants critiquent cette interprétation du droit fédéral, en invoquant le principe de la coordination et également les normes sur l'assainissement des installations bruyantes (art. 13 ss de l'ordonnance sur la protection contre le bruit [OPB; RS 814.41]). Cette question est accessoire, la contestation portant principalement sur l'application du droit cantonal des constructions. Néanmoins, dans cette mesure, la voie du recours de droit administratif est ouverte contre la décision attaquée. Les deux recourants, destinataires en vertu de l'arrêt attaqué de l'ordre de démolition, ont qualité pour recourir (art. 103 let. a OJ). Il y a lieu d'entrer en matière, étant d'emblée précisé que le recours de droit public, également ouvert en vertu de la réglementation fédérale des voies de droit en matière d'autorisations de construire dans la zone à bâtir (art. 34 al. 3 LAT), sera traité ensuite (consid. 4-6 infra).