//<!-- Ce script permet de modifier la couleur des ascensseurs -->