École spéciale des travaux publics, du bâtiment et de l'industrie