Le site des démarches administratives, Service-Public.fr, s'est refait une beauté pendant l'été