alainvaucher/eigen archive