Topoguide : vérifications automatiques