discussion:certains_systemes_sont_irreductiblement_complexes