Il s’agit d’une syntaxe utilisé qui est juste de la logique du premier ordre.