MAIRES

Definition of MAIRES