Olga Havlová by 11. července slavila osmdesátiny