C.1 Modification des paramètres de configuration de la mémoire

Pour paramétrer le serveur de base de données PostgreSQL, modifiez les paramètres suivants de configuration de la mémoire dans le fichier <rép_installation>/3rd party/postgresql/data/postgresql.conf :