complétudes