[PDF] théorème de la base incomplète démonstration