Le Lean en questions