Fichiers non inclus dans le dépôt

Certains fichiers dépassent la limite pratique/technique d’un dépôt GitHub. Ils ne sont pas dans le dépôt : les originaux sont publiés comme assets de la release GitHub « large-files-v1 ».

• download/dsPicScreencastFromMariano.mov — 168,921,003 octets