Le petit cratère Formica Léo (2202 mètres), doit son nom à sa ressemblance avec les trous des fourmis lions.