Is there an official whois server for .RE domains?

Yes, it is whois.nic.re

 

.re Domain Registration.re Whois Search