théorème de la base incomplète