Gerard Philipe stars as Don Juan.