Allocation et planification de tâches distribuées sous logique temporelle et contraintes de communication | Synapse