A constraint programming model with time uncertainty for cooperative flight departures. (November 2018)