cnes has manufactured how many spacecraft?
(COUNT (AND spaceflight.spacecraft (JOIN (R spaceflight.satellite_manufacturer.spacecraft_manufactured) m.024fy1)))