Archimede, Les Films de l'Arlequin, ARTE France Cinéma