Machines-outils (fabrication, négoce) à Henridorff. Adresse, horaires d’ouverture, téléphone