Demandez le programme! Introduction à Verrou, un outil de diagnostic et débogage des erreurs en arithmétique flottante [17-10-2017]