Devoir sur la logique mathématique et relations binaires