Inf 1130 : Mathematique pour informaticien.