Thomas Ehrhard et Laurent Regnier honorés pour leurs travaux novateurs sur le lambda-calcul différentiel