How many movies have Aurélien Lainé and John Micheals collaborated on?

They have not worked on any movies together...