Anyone made a connection via JFK to Europe? If I'm flying DL and then connecting to AF, do I have to change terminals? Are all domestic flights (either DL or NW) connecting to European carrier departures at different terminals within SkyTeam?

Thanks