Le directeur général des étrangers en France, le directeur général de la police nationale, le directeur général des douanes et droits indirects et le directeur général de l'aviation civile, sont chargés, chacun en ce qui le concerne, de l'exécution de la présente décision, qui sera publiée au Journal officiel de la République française.