Retrait de Gem : disponible ni directement, ni pour les gems qui en dépendraient.
Jan Baier, Geoff Jacobsen
MIT