Mettre à jour la documentation Docker
Suite à #2755 (closed), dans doc/server.org
- mentionner Docker Hub (y a-t-il d'ailleurs un endroit standard où on documente des Docks ?)
- vu tout ce qui a été fait pour %prod-server-lil, mettre à jour s'il y a eu des changements
Tout sera alors prêt pour #2950 (closed) :-)