Définitionsrecomplexifier