1 ressource : logique classique