Ingénierie du contrôle de la précision des calculs sur ordinateur — Jean Vignes, Michèle Pichat