prolongement d’une fonction