détecteur de gaz électrique pour les bâtiment à haute altitudes de la ligne de protection électrique,