La poésie mathématique de Grothendieck explorée par Hervé Nisic dans un documentaire