How many movies have Miriam Carlos and Tomás Santos collaborated on?

They have not worked on any movies together...