Piastri’s F1 debut a formality after Alonso departure – Michmutters