what spacecrafts did aérospatiale manufacture?
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.0ctf4))