généralisation complétive