Isabelle Vinit presentations