vérification formelle concept Catégories : concepts abstraits Mots du lexique : vérification nom commun Wikidata Q173326 · Wikipédia