How many movies have Christian Bord and Jean-Pierre Petermann collaborated on?

They have not worked on any movies together...