Un nombre propio: