restriction sémantique