disjoncteur-(1)—petite-taille