France - Allemagne : prolongation ou tirs au but en cas d'égalité ?