Tant qu'à virer les vieux flag_* (cf [14451]), cette occurrence de flag_ob est...

Tant qu'à virer les vieux flag_* (cf [14451]), cette occurrence de flag_ob est d'autant plus inutile, que public.php ne prend même pas la précaution.