I am looking for the French term for the notion of overcompleteness in linear algebra. The current suggestion I have is "sursaturée", but I couldn't find the term in literature.
P.S. I am not french, so please excuse my poor survey of french math literature.
I believe that the term is "surcomplétude". The following papers make use of this term:
Interactions entre l’analyse complexe et la théorie des opérateurs
Propriétés géométriques des suites de noyaux reproduisants dans les espaces modèles