Stav dette: Mathématiques discrètes appliquées à l'informatique