Mathématiques de l'informatique — Patrick Dehornoy