La dernière version du langage de programmation PHP, corrigeant plusieurs bugs de corruption et fuites mémoire