Il faut du temps pour faire mariner un concombre