Region representation is very important in Graphics and Image Processing. This paper is concerned with a formalisation of image representation by quadtrees. Indeed an image here is a language over an alphabet of four ...