LACO — Laboratoire d'arithmétique, calcul formel et optimisation. Limoges