irreductibilite