A comparison between two approaches to ramification : PMON(R) and AR0.