Thanks for replying.
Indeed, it does not work. Alas.
I will try to change the aspect of the pagination to get the same as with the pagenavi plugin.
In the meantime, thank you again for your invaluable help on the forums and your work on wp show posts and generatepress.