In my last modification of eieio.el, I did not implement any
protocol for the doc attribute. It seems clear for me that this
attribute should be overrriddable : Hence I implement it as
overriddable ! I send the modified eieio.el : modifications are
between line 733 and 785 in the join file.
Sure I ran the tests and they passed and used these new
features for my own classes and they produced the expected