Domaine de définition naturel et image d'une fonction