Mathématiques, informatique, politique et poésie
Dans tout espace vectoriel, il existe une base.
Lemme de Zorn
