Brevet de technicien supérieur, Maintenance industrielle — France. Direction des lycées et collèges