Pompe et Electricité, Travaux et Distribution (Petradis) Industrie