If you are not a regular devotee of stock market movements, you may not have noticed that, before dipping a bit on Friday, this week the FTSE 100 stock market index hit new all-time highs.