Fil des commentaires sur "upgrade php 7.2 vers 7.3" - Blogotux http://blogettrux.free.fr/index.php?2020/05/04/19/11/44 Trucs, astuces pour linux mais c'est d'abord mon bloc-notes, donc sans grandes prétentions fr gh1sl1