Debugging verificateur + Utilities terminés