Une preuve constructive du théorème du point fixe de Brouwer et résultats computationnels | Synapse