Qu'est-ce qu'un disjoncteur à boîtier moulé ? À quoi sert-il ?