José Giovanni — film director (1923-2004)