Brevet de technicien supérieur, Maintenance industrielle — France. Direction générale pour l'enseignement supérieur et l'insertion professionnelle