Engineering knowledge formalization and proposition for informatics development towards a CAD-integrated DfX system for product design. (January 2022)