• Program
• 8.3 version
• FSets
• B. Werner
• Module system (Elie Soubiran) about sharing constraint
• Eta (notes by Hugo)
• Extra discussions