TP 2.8 SLCI - Modélisation affinée (ex. type)