How many movies have Cyrille Hernandez and Jean-Michel Portal collaborated on?

They have not worked on any movies together...