DIVERS - Micro-rupteur aimanté de porte - 133037