Markov chain lumpability and applications to credit risk modelling in compliance with the International Financial Reporting Standard 9 framework.