Mettre en place un serveur de procédures

Emplois
# grep -r procedure_server_address *
# grep -r procedure_server_credentials *