Redirecting to 42e division d'infanterie (France)