Algorithmique - Raisonner pour Concevoir - Christophe Haro