Martedì grasso: cos’è, perché e quando si festeggia?