Au surplus, la décision de l'Office fédéral des étrangers prononçant l'interdiction d'entrer en Suisse ne relève pas de la compétence de la Cour de céans, décision dont on ignore d'ailleurs si elle a fait l'objet d'un recours. 4. Vu l'issue du litige, il n'y a pas lieu de percevoir des frais de justice (art.47 al.1 LPJA, a contrario), et le recourant a droit à une indemnité de dépens (art.48 LPJA). Par ces motifs, LE TRIBUNAL ADMINISTRATIF 1.