Arrêté du 15 février 1993 modifiant l'arrêté du 4 septembre 1984 relatif aux marchés des organismes de sécurité sociale dans les mines