Y a-t-il des détenteurs de $SEI encore là ?