Update README.md

Vérification déductive de programmes d'ordre 2 
Stage de M2 MPRI Equippe Toccata
Avril-Août 2013