Efficient controller synthesis of multi-energy systems for autonomous domestic water supply [Synthèse efficace de contrôleurs de systèmes multi-énergie pour l’approvisionnement autonome en eau domestique].