Comments taken into account

All comments taken into account, but the one:
	Perhaps all the (three) calls to pbuf_inside_map_area() could be
	replaced by this
	(to remove pbuf_inside_map_area())