ttmc-ext-le-complement-naturel