Text this: La « Nouvelle Mosquée » d’Alger. Le déroulement d’une procédure constructive au xviie siècle