An online optimization approach for the Real Time Management of operating rooms. (December 2015)