Distribution et crédits de « Deep Blue »