Élargissement intégral des idéaux premiers : élévation et contraction