Jean-Claude Ribes: pioneer of astronomy and artificial intelligence