How many movies have Ivan de Lucas and Pete Davies collaborated on?

They have not worked on any movies together...