"20"^^ . "border|20px(1939)" . . . . "(17 juillet 1936)" . . . . . . . . . "" . . . . . "15"^^ . "border|20px" . "border|20px(Fin 1936)" .