Considérant en droit :
1.- a) L'
art. 25a LFLP, entré en vigueur le 1er janvier 2000, règle la procédure en cas de divorce. En cas de désaccord des conjoints sur la prestation de sortie à partager en cas de divorce (
art. 122 et 123 CC), le juge du lieu du divorce compétent au sens de l'
art. 73 al. 1 LPP doit, après que l'affaire lui a été transmise (
art. 142 CC), exécuter d'office le partage sur la base de la clé de répartition déterminée par le juge du divorce (al. 1). Les conjoints et les institutions de prévoyance professionnelle ont qualité de partie dans cette procédure. Le juge leur impartit un délai raisonnable pour déposer leurs conclusions (al. 2).