Time of complete displacement of an immiscible compressible fluid by water in porous media: Application to gas migration in a deep nuclear waste repository