Au dire des recourants, la commission aurait écarté à tort l'avis du premier expert, car - indépendamment de la méthode employée - on ne pouvait admettre que la seconde expertise était plus conforme à la réalité, et une juste application de la norme SIA 416 était difficilement envisageable; à tout le moins, la commission aurait dû trouver un juste terme entre les deux expertises. 2.1 Selon les publications officielles de la SIA, la norme 416 est valable et remplace la norme 116 depuis le 1er octobre 2003.