Quelques corrections mineurs

[craff]

1 * a = a, même pour a = 0 a b = 1 ssi (b \ne 0 et a = 1/b)

répéter intervalle onvert (non vide) dans les lemmes de la preuve de densité

3 lignes qui terminent pas un espace inutile que mon éditeur virent automatiquement.