What is a formal name for Tuesday seven weeks before Easter in Great Britain?

• Shrove Tuesday
• Pancake Day
• Easter Monday