Vauban, le vagabond du roi. Docu-fiction réalisé par Jacques Tréfouël (DVD)