Cours 3 : Interprétation : fonctions, prédicats et connecteurs