Definition of the paginator interface
Upgrade of the documentation