Révision des tests d'ordonnançabilité : précision Double correcte désormais