m1/algo/2013-2014 ex1: complexité et justification