Type “greatest leaders of all time” in your favourite search engine and you will probably see a list of the world’s prominent male personalities. How many women do you count?