Title: Logique arithmétique et techniques synchrones