Second French church attacker formally identified: prosecutors