Problème de synthèse