Un cours d'algèbre constructive — Fred Richman, Ray Mines, Wim Ruitenburg