ecrire/inc/flock.php : amélioration de r20936. une constante _OPCACHE_BUG à définir dans mes_options.php le jour où PHP sera réparé...