“…Applying theorem 1, we deduce that for any u * ∈ H 3/2 (∂ ) such that (12) holds, there exist T (1) * > 0 (respectively T (2) * > 0) and a unique solution (a (1) , Q (1) , (1) , ω (1) , u (1) , p (1) ) (respectively (a (2) , Q (2) , (2) , ω (2) , u (2) , p (2) )) of (2)- (11) in [0, T (1) * ) (respectively in [0, T (2) * )).…”