I wouldn’t say it is sufficient time, you have to change terminal (take a train to 4S), pass inmigration which depending on time of the day is either empty or full of transatlantic flights and then run to the gate which being a flight to US is one of the farthest....Anyway, if your domestic flight is on time, you disembark fast and literally walk very fast as well, you should do it (arrive at gate at least 30 minutes before flight starts to close)