Logiques linéaires hybrides et leurs modalités — Akim Demaille