Ben non, je ne savais pas. Et depuis le domaine symbolics.com est chez un vendeur de nom de domaine. Et attention, on ne parle pas d'une page web en 1985 (l'invention du web au dessus d'internet date de 1989), juste du nom sur Internet d'une machine à l'époque.
Et c'est rigolo, le premier site web Français (en .fr) existerait encore: info.in2p3.fr
*nostalgie* aussi pour le Lisp !