Bans de police de la ville de Mons du XIIIe au XVe siècle, édités par Léopold Devillers, — Léopold Devillers