David Delmas: Static analysis of program portability by abstract interpretation. (Analyse statique de la portabilité des programmes par interprétation abstraite). Sorbonne University, Paris, France 2022