Que faire pour gagner du temps ?