ferme #3086 : compat PHP 5.5 invalider le cache opcache dans ecrire_fichier