> Cela est du au thème Boost, rien à voir avec PHP7.
Du coup (comme on dit aujourd'hui...) on pourrait faire toute la mise au point avec un thème plus léger, par exemple Clean, puis passer sur Boost (qui porte donc mal son nom ...) au moment du passage en production ?