by Clément Bouttier supervised by Sébastien Gadat , Sébastien Gerchinovitz and Florence Nicol . - Toulouse 3