2 résultats : théorème de Codd