How many movies have Arnaud Mangin and Jean Pennec collaborated on?

They have not worked on any movies together...