This is quite simple. Enter his US passport in the airline system. The airline will know nothing but US passport, which matches he ticket. Check in with American passport. When arriving in Spain, present the French passport to the immigration officer.
When returning, again present the US passport to the airline at check in. Then present the French passport to the immigration officer when leaving Spain. Present the US passport to the immigration officer when arriving in the US.