Merci beaucoup pour vos réponses.
Cela fonctionne, j'ai créé un module basique via le module générator (ici pour les interessés), je suis passé en php 7.2 et j'ai pu voir les changements !
Ensuite j'ai dû aller dans "Catalogue de modules", rechercher le nom de mon module et l'installer.