Interprétation : fonctions, prédicats et connecteurs