Quelques informations sur les disjoncteurs pneumatiques