Le Canal et les irrigations de Draguignan, notes historiques — Frédéric Mireur