Analyse des programmes et sémantique