axiome d'idéalisation