Update Server.php

Ajout de la fonction getInterventions() et getInterventionProperties($interventionId)