Restauration du portail Royal, de novembre 2011 à mai 2013