MLO - TD logique des prédicats - ENSIIE