Documents Savoirs Synthèse pour une logique temps-réel faible, Synthesis for a weak real-time logic Omer Nguena-Timo