How many movies have Dino Buzzati and Patrick Ledoux collaborated on?

They have not worked on any movies together...