Art. 4. - La Direction des Journaux officiels, 26, rue Desaix, 75727 Paris Cedex 15, est chargée de la diffusion de ce bulletin. Il est mis en vente par abonnement annuel ou par numéro.