Interprétation Abstraite
mpri-inta