validation sémantique