SMT en pratique : le démonstrateur Alt-Ergo