Précis de logique informatique... [1] — Jean-Dominique Warnier