Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010